Discrete Inclusion-Exclusion